HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies
نویسندگان
چکیده
We describe a framework for the development of production rule programs on top of OWL ontologies, following a hybrid Object-Oriented (OO) approach. The hybrid nature is realized by separating ontologies and rules, interfacing an external DL reasoner and a production rule engine. The OO nature is realized by mapping OWL ontologies into the OO model, in such a way, so to preserve the extensional ontology semantics when the OO ontology constructs are matched in the production rule conditions.
منابع مشابه
O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies
This paper reports on the implementation of a rule system, called ODEVICE, for reasoning about OWL instances using deductive rules. O-DEVICE exploits the rule language of the CLIPS production rule system and transforms OWL ontologies into an object-oriented schema of COOL. During the transformation procedure, OWL classes are mapped to COOL classes, OWL properties to class slots and OWL instance...
متن کاملHD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies specified in Description Logics. The system is hybrid: it re-uses XSB Prolog for rule reasoning and existing OWL reasoners for ontology reasoning. This makes it possible to use some Prolog built-ins (like arithmetic) in...
متن کاملSWRL2COOL: Object-Oriented Transformation of SWRL in the CLIPS Production Rule Engine
The Semantic Web Rule Language (SWRL) is a W3C member submission rule language for ontologies. It is based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. In this paper we propose a transformation of SWRL rules into the object-oriented rule language of CLIPS (COOL). The purpo...
متن کاملCLIPS-OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine
In this paper, we define a framework, namely CLIPS-OWL, for enabling the CLIPS production rule engine to represent the extensional results of DL reasoning on OWL ontologies in the form of Object-Oriented (OO) models. The purpose of this transformation is to allow CLIPS to use these OO models as static query models that are able to answer extensional ontology queries directly by the RETE reasoni...
متن کاملSemantic and Computational Advantages of the Safe Integration of Ontologies and Rules
Description Logics (DLs) are playing a central role in ontologies and in the Semantic Web, since they are currently the most used formalisms for building ontologies. Both semantic and computational issues arise when extending DLs with rule-based components. In particular, integrating DLs with nonmonotonic rules requires to properly deal with two semantic discrepancies: (a) DLs are based on the ...
متن کامل